在国际程序设计语言与软件工程的江湖里，不少人都听过这对搭档的名字。凭借12年一线基础程序分析的科研经历、11年开源工具编写经验，他们推进了多个基础程序分析领域公认难题的解决边界，在一些问题上至今保持着最佳解法的“战绩”。

教师 冒险 南大 李樾 程序设计语言 2025-10-22 19:40  2

"你再说一遍？"李樾的嗓音像浸了冰水，我贴在玄关的磨砂玻璃上，看见他攥着手机的手背青筋暴起，"他们今天又去骚扰安鱼了？"

男友 红了眼 失忆 宋安 李樾 2025-05-23 00:37  15